Merge pull request #1943 from cgwalters/more-scan-build
authorOpenShift Merge Robot <openshift-merge-robot@users.noreply.github.com>
Wed, 16 Oct 2019 18:44:15 +0000 (20:44 +0200)
committerGitHub <noreply@github.com>
Wed, 16 Oct 2019 18:44:15 +0000 (20:44 +0200)
More scan build


Trivial merge